Memo & Tables

Justifying Proofs using Memo Tables

Memo to : Coneval Memo from : Sabina Alkire

We understand that the Committee may be contemplating a methodology for multidimensional poverty measurement based on the general approach we proposed in a recent paper (Alkire and Foster, 2007). While there is some broad agreement on the aggregation method – in particular, the adjusted headcount M0 is a natural pick since it satisfies dimensional monotonicity and can be decomposed across dimen...

Water Quality Lab Memo

In this analysis, different tools were utilized in measuring the different parameters, which were DO, temperature, pH, and turbidity. For the measurement of each parameter (with exception of turbidity) we dipped the parameter-stick about half-way into the water while swirling it slowly. We continued doing so until the monitor displayed a stable measurement for us to record. Turbidity was slight...

Intralab Memo Randum

This memo outlines the circuitry that has been designed and constructed/tested to support a channel of the PVF2 monopulse "backgammon" sensor. The analog front-end is first described, along with the sum, difference, and integration functions needed to produce the pair of signals that encode the bearing. A circuit is also described that samples this pair coincidently (at the peak value of the de...

Lazy Memo-functions

m n b ~ mkapp m (mkcom (m++[id n]) b) mkapp [] f = f mkapp (a'm) f ~ mkapp m (app f a) mkcom m b ~ corn (length m) (subst m [1..length m] b) We have introduced a new kind of node, (com n e), to represent (super-)combinators. (Cam n e) represents a combinator with n arguments, which are referred to be the numbers 1..n in the body of the combinator. The combinator is constructed by the function m...